Manually change server \code{token} into the \code{KILLED} state.
